Da hypothesis à Thesis

Church's thesis as an empirical hypothesis

The studies of Church’s thesis (further denoted as CT) are slowly gaining their intensity. Since different formulations of the thesis are being proposed, it is necessary to state how it should be understood. The following is the formulation given by Church: [CT] The concept of the effectively calculable function is identical with the concept of the recursive function. The conviction that the ab...

Qualidade nos Sistemas de Informação: da Teoria à Prátrica

Tendo como base os conceitos te6ricos conhecidos, cofocamo-nos numa perspectiva eminentemente pratics para descrever as actividades desenvofvidas na Area da Quafidade da Direc9&o de Desenvo!vimento de Sistemas da EDINFOR, com o objectivo de impfementar um Sistema de Garantfa da Qualidade. Referimos as normas ja aprovadas, barn como o processo adoptado para a sua impfementaao; as ferramentas est...

Suporte Automatizado à Gerência da Evolução de Cenários

Um grande passo no processo de definição dos requisitos de uma aplicação reside no reconhecimento dos atores, entidades e ações que descrevem o macrosistema do qual esta aplicação fará parte. Trabalhos recentes conduzidos por nosso grupo de pesquisa exploram a utilização de cenários como técnica de elicitação de requisitos do macrosistema [Leite 97] [Hadad97 ] [Breitman98]. Cenários vem surgind...

Thesis Proposal: Beyond the Distributional Hypothesis

Master thesis Robust Multi-Hypothesis Tracker Fusing Diverse Sensor Information

This Master’s Thesis presents a developed tracking algorithm which fuses different object detections. These object detections are obtained from different detectors. These detectors are: a laser leg detector and a tag vision detector. The fusion has the objective to obtain more robust object detections; moreover, it has the capability to distinguish specific people. In the future, it is intend t...